Implication Details

Assumptions: self-dual, wide pullbacks

Conclusions: wide pushouts

Proof: This holds by self-duality.